Sharon Shoham: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Technometric Benchmarking

Shoham, Aviv, Maital, Shlomo, Grupp, Hariolf, Lifshitz, Sharon

Journal:

Journal of Global Marketing

Year:

2003

Language:

english

File:

PDF, 947 KB

english, 2003

2

Use of lipophilic near-infrared dye in whole-body optical imaging of hematopoietic cell homing

Kalchenko, Vyacheslav, Shivtiel, Shoham, Malina, Victoria, Lapid, Kfir, Haramati, Sharon, Lapidot, Tsvee, Brill, Alexander, Harmelin, Alon

Journal:

Journal of Biomedical Optics

Year:

2006

Language:

english

File:

PDF, 496 KB

english, 2006

3

[ACM Press the 38th International Conference - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 38th International Conference on Software Engineering - ICSE '16 - Cross-supervised synthesis of web-crawlers

Omari, Adi, Shoham, Sharon, Yahav, Eran

Year:

2016

Language:

english

File:

PDF, 597 KB

english, 2016

4

Paxos made EPR: decidable reasoning about distributed protocols

Padon, Oded, Losa, Giuliano, Sagiv, Mooly, Shoham, Sharon

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 1.22 MB

english, 2017

5

[ACM Press the 39th ACM SIGPLAN Conference - Philadelphia, PA, USA (2018.06.18-2018.06.22)] Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018 - Modularity for decidability of deductive verification with applications to distributed systems

Taube, Marcelo, Losa, Giuliano, McMillan, Kenneth L., Padon, Oded, Sagiv, Mooly, Shoham, Sharon, Wilcox, James R., Woos, Doug

Year:

2018

Language:

english

File:

PDF, 401 KB

english, 2018

6

Vincristine treatment triggering the expression of asymptomatic Charcot-Marie-Tooth disease

Neumann, Yoram, Toren, Amos, Rechavi, Gideon, Seifried, Beth, Shoham, Nizza G., Mandel, Mathilda, Kenet, Gilli, Sharon, Nechama, Sadeh, Menachem, Navon, Ruth

Journal:

Medical and Pediatric Oncology

Year:

1996

Language:

english

File:

PDF, 368 KB

english, 1996

7

Enhancement of human monocyte cytotoxicity by both interferon-γ and -β and comparison to other stimuli

Nechema Sharon, J. Shoham, J.H. Passwell

Journal:

International Journal of Immunopharmacology

Year:

1989

Language:

english

File:

PDF, 524 KB

english, 1989

8

Local abstraction–refinement for the

Harald Fecher, Sharon Shoham

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2011

Language:

english

File:

PDF, 526 KB

english, 2011

9

Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules

Sharon Shoham, Nissim Francez

Journal:

Year:

2008

Language:

english

File:

PDF, 343 KB

english, 2008

10

When not losing is better than winning: Abstraction and refinement for the full μ-calculus

Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 376 KB

english, 2007

11

3-Valued abstraction: More precision at less cost

Sharon Shoham, Orna Grumberg

Journal:

Information and Computation

Year:

2008

Language:

english

File:

PDF, 367 KB

english, 2008

12

Compositional verification and 3-valued abstractions join forces

Sharon Shoham, Orna Grumberg

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 875 KB

english, 2010

13

Multi-valued model checking games

Sharon Shoham, Orna Grumberg

Journal:

Journal of Computer and System Sciences

Year:

2012

Language:

english

File:

PDF, 298 KB

english, 2012

14

Crystallization and preliminary X-ray diffraction studies of soybean agglutinin

B. Shaanan, M. Shoham, A. Yonath, H. Lis, N. Sharon

Journal:

Journal of Molecular Biology

Year:

1984

Language:

english

File:

PDF, 157 KB

english, 1984

15

[ACM Press the 2007 international symposium - London, United Kingdom (2007.07.09-2007.07.12)] Proceedings of the 2007 international symposium on Software testing and analysis - ISSTA '07 - Static specification mining using automata-based abstractions

Shoham, Sharon, Yahav, Eran, Fink, Stephen, Pistoia, Marco

Year:

2007

Language:

english

File:

PDF, 326 KB

english, 2007

16

[ACM Press the ACM international conference - Tucson, Arizona, USA (2012.10.19-2012.10.26)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12 - Typestate-based semantic code search over partial programs

Mishne, Alon, Shoham, Sharon, Yahav, Eran

Year:

2012

Language:

english

File:

PDF, 1.15 MB

english, 2012

17

A game-based framework for CTL counterexamples and 3-valued abstraction-refinement

Shoham, Sharon, Grumberg, Orna

Journal:

ACM Transactions on Computational Logic

Year:

2007

Language:

english

File:

PDF, 607 KB

english, 2007

18

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Decentralizing SDN Policies

Padon, Oded, Immerman, Neil, Karbyshev, Aleksandr, Lahav, Ori, Sagiv, Mooly, Shoham, Sharon

Year:

2015

Language:

english

File:

PDF, 1.00 MB

english, 2015

19

SPIE Proceedings [SPIE IS&T/SPIE Electronic Imaging - San Francisco, California (Sunday 23 January 2011)] Multimedia on Mobile Devices 2011; and Multimedia Content Access: Algorithms and Systems V - Optimizing bandwidth and storage requirements for mobile images using perceptual-based JPEG recompression

Shoham, Tamar, Gill, Dror, Carmel, Sharon, Akopian, David, Creutzburg, Reiner, Snoek, Cees G. M., Sebe, Nicu, Kennedy, Lyndon

Year:

2011

Language:

english

File:

PDF, 1.03 MB

english, 2011

20

SPIE Proceedings [SPIE IS&T/SPIE Electronic Imaging - San Francisco Airport, California, USA (Sunday 23 January 2011)] Image Quality and System Performance VIII - A novel perceptual image quality measure for block based image compression

Shoham, Tamar, Farnand, Susan P., Gaykema, Frans, Gill, Dror, Carmel, Sharon

Year:

2011

Language:

english

File:

PDF, 388 KB

english, 2011

21

A framework for compositional verification of multi-valued systems via abstraction-refinement

Meller, Yael, Grumberg, Orna, Shoham, Sharon

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 1.09 MB

english, 2016

22

Symbolic automata for representing big code

Peleg, Hila, Shoham, Sharon, Yahav, Eran, Yang, Hongseok

Journal:

Acta Informatica

Year:

2016

Language:

english

File:

PDF, 990 KB

english, 2016

23

Typestate-based semantic code search over partial programs

Mishne, Alon, Shoham, Sharon, Yahav, Eran

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 1.15 MB

english, 2012

24

Decentralizing SDN Policies

Padon, Oded, Immerman, Neil, Karbyshev, Aleksandr, Lahav, Ori, Sagiv, Mooly, Shoham, Sharon

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.00 MB

english, 2015

25

Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules

Sharon Shoham and Nissim Francez

Journal:

Year:

2008

Language:

english

File:

PDF, 2.51 MB

english, 2008

26

Deposition of collagen type I onto skeletal endothelium reveals a new role for blood vessels in regulating bone morphology

Ben Shoham, Adi, Rot, Chagai, Stern, Tomer, Krief, Sharon, Akiva, Anat, Dadosh, Tali, Sabany, Helena, Lu, Yinhui, Kadler, Karl E., Zelzer, Elazar

Journal:

Development (The Company of Biologists)

Year:

2016

Language:

english

File:

PDF, 16.63 MB

english, 2016

27

[ACM Press the 2016 24th ACM SIGSOFT International Symposium - Seattle, WA, USA (2016.11.13-2016.11.18)] Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 - SMT-based verification of parameterized systems

Gurfinkel, Arie, Shoham, Sharon, Meshman, Yuri

Year:

2016

Language:

english

File:

PDF, 368 KB

english, 2016

28

[ACM Press the Tenth ACM International Conference - Cambridge, United Kingdom (2017.02.06-2017.02.10)] Proceedings of the Tenth ACM International Conference on Web Search and Data Mining - WSDM '17 - Synthesis of Forgiving Data Extractors

Omari, Adi, Shoham, Sharon, Yahav, Eran

Year:

2017

Language:

english

File:

PDF, 1.08 MB

english, 2017

29

Property-Directed Inference of Universal Invariants or Proving Their Absence

Karbyshev, Aleksandr, Bjørner, Nikolaj, Itzhaky, Shachar, Rinetzky, Noam, Shoham, Sharon

Journal:

Journal of the ACM

Year:

2017

Language:

english

File:

PDF, 1.04 MB

english, 2017

30

[ACM Press the 22nd ACM SIGKDD International Conference - San Francisco, California, USA (2016.08.13-2016.08.17)] Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining - KDD '16 - Lossless Separation of Web Pages into Layout Code and Data

Omari, Adi, Kimelfeld, Benny, Yahav, Eran, Shoham, Sharon

Year:

2016

Language:

english

File:

PDF, 1.96 MB

english, 2016

31

Automated circular assume-guarantee reasoning

Abd Elkader, Karam, Grumberg, Orna, Păsăreanu, Corina S., Shoham, Sharon

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 767 KB

english, 2017

32

A Mycoses Study Group International Prospective Study of Phaeohyphomycosis: An Analysis of 99 Proven/Probable Cases

Revankar, Sanjay G, Baddley, John W, Chen, Sharon C -A, Kauffman, Carol A, Slavin, Monica, Vazquez, Jose A, Seas, Carlos, Morris, Michele I, Nguyen, M Hong, Shoham, Shmuel, Thompson, George R, Alexand

Journal:

Open Forum Infectious Diseases

Year:

2017

Language:

english

File:

PDF, 160 KB

english, 2017

33

[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering - ICSE '18 - Programming not only by example

Peleg, Hila, Shoham, Sharon, Yahav, Eran

Year:

2018

Language:

english

File:

PDF, 308 KB

english, 2018

34

Selection of Shared and Neoantigen-Reactive T Cells for Adoptive Cell Therapy Based on CD137 Separation

Seliktar-Ofir, Sivan, Merhavi-Shoham, Efrat, Itzhaki, Orit, Yunger, Sharon, Markel, Gal, Schachter, Jacob, Besser, Michal J.

Journal:

Frontiers in Immunology

Year:

2017

Language:

english

File:

PDF, 1.75 MB

english, 2017

35

81 Cell Free DNA as a Prognostic Factor in Pediatric Burns - Preliminary Results

Shoham, Y, Sharon, N, Krieger, Y, Silberstein, E, Ayzenberg, T, Maor, E, Douvdevani, A

Journal:

Journal of Burn Care & Research

Year:

2019

File:

PDF, 81 KB

2019

36

Level of neo-epitope predecessor and mutation type determine T cell activation of MHC binding peptides

Besser, Hanan, Yunger, Sharon, Merhavi-Shoham, Efrat, Cohen, Cyrille J., Louzoun, Yoram

Journal:

Journal for ImmunoTherapy of Cancer

Year:

2019

File:

PDF, 1.84 MB

2019

37

Some complexity results for stateful network verification

Alpernas, Kalev, Panda, Aurojit, Rabinovich, Alexander, Sagiv, Mooly, Shenker, Scott, Shoham, Sharon, Velner, Yaron

Journal:

Formal Methods in System Design

Year:

2019

File:

PDF, 1.37 MB

2019

38

The number of acute cerebrovascular events in Israel: a forecast until 2040

Ben Shoham, Assaf, Liberant-Taub, Sigal, Sharon, Mor, Zucker, Inbar

Journal:

Israel Journal of Health Policy Research

Year:

2019

Language:

english

File:

PDF, 1.22 MB

english, 2019

39

[IEEE 2018 Formal Methods in Computer Aided Design (FMCAD) - Austin, TX (2018.10.30-2018.11.2)] 2018 Formal Methods in Computer Aided Design (FMCAD) - Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems

Padon, Oded, Hoenicke, Jochen, McMillan, Kenneth L., Podelski, Andreas, Sagiv, Mooly, Shoham, Sharon

Year:

2018

Language:

english

File:

PDF, 365 KB

english, 2018